branching time temporal logic
分支时间时态逻辑(电路)
热门查询
- fantastically adv. 想像中地；奇特地；难以置信地
- neurophysiology n. 神经生理学
- trail n. 小径；痕迹；尾部；踪迹；一串，一系列 vt. 追踪；拖；蔓延；落后于 vi. 飘出；蔓生；垂下；拖曳 n. (Trail)人名；(英)特雷尔
- rentier n. [劳经] 食利者；靠收租生活的人；靠股息生活的人 n. (Rentier)人名；(法)朗捷
- breathalyser n. 呼气测醉器
- assigned v. 分配（assign的过去分词）；指定；委派 adj. 指定的；已分配的
- anticipate vt. 预期，期望；占先，抢先；提前使用
- counterforce n. 反作用力；反对势力；核子武器还击
- esprit n. （法）精神，才智；机敏 n. (Esprit)人名；(法)埃斯普里
- worldly adj. 世俗的；世间的；尘世的 adv. 世俗地；世故地
- NSC 国家安全委员会
- Indonesian n. 印尼人；印尼语群；印度尼西亚语 adj. 印尼的
- Schaefer n. [姓氏]沙佛; [人名] 谢弗
- velocity n. 【物】速度
- Scarlett n. 斯嘉丽（女子名或《飘》中的女主人公）
- orchestra n. 管弦乐队；乐队演奏处
- accidental n. 次要方面；非主要的特性；临时记号 adj. 意外的；偶然的；附属的；临时记号的
- tinkerer 喜欢捣鼓小器具、小发明的人
- concordat n. 协定；宗派间的协约
- skewing n. 偏移 v. 歪斜（skew的ing形式）
考试词汇表
- down-cutting tool
- down-draught kiln
- down-draw process
- down-filled socks
- down-fired boiler
- down-hand welding
- down-in-the-dumps
- down-in-the-mouth
- down-level server
- down-proof fabric
- down-to-earthness
- down-turned broom
- down-ward welding
- downbearing edema
- downbound traffic
- downcomer filling
- downdip direction
- downdip lineation
- downdraft furnace
- downdraught grate
